namespace UFM_USE_MUST {
	#include <stdlib.h>

	int* foo() {
		int* x = (int*)malloc(4 * sizeof(int));
		free(x);
		return x + 1;
	}
}